Fix context switching race which could cause vcpu_pause()
authorkaf24@firebug.cl.cam.ac.uk <kaf24@firebug.cl.cam.ac.uk>
Tue, 16 Aug 2005 18:02:24 +0000 (18:02 +0000)
committerkaf24@firebug.cl.cam.ac.uk <kaf24@firebug.cl.cam.ac.uk>
Tue, 16 Aug 2005 18:02:24 +0000 (18:02 +0000)
commit02bf186308257db22c05f69db3bc9fd261c273cc
treef498a987166dc3b35afa70c8d097c906179d34d6
parenta5479372a0e5c851a6bc344dde5949c60976f252
Fix context switching race which could cause vcpu_pause()
to not actually do its job properly. This requires us to
move clearing of VCPUF_running to be protected by the
scheduler lock.

Signed-off-by: Keir Fraser <keir@xensource.com>
xen/arch/ia64/xenmisc.c
xen/arch/x86/domain.c
xen/arch/x86/vmx.c
xen/common/schedule.c
xen/include/asm-x86/vmx_vmcs.h
xen/include/xen/sched.h